Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
691	A Turing Machine Resisting Isolated Bursts Of Faults Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2013-03-28 00:33:04 Computability theory Models of computation Computer science Alan Turing Formal methods Computational complexity theory Cellular automaton Non-deterministic Turing machine Busy beaver Turing machine Theory of computation Theoretical computer science
692	IEEE TRANSACTIONS ON AUTOMATIC CONTROL, VOL. 48, NO. 2, FEBRUARYFeedback Can Reduce the Specification Complexity of Motor Programs Add to Reading List Source URL: hrl.harvard.edu Language: English - Date: 2003-11-10 22:28:54 Computer science Formal methods Finite-state machine Nondeterministic finite automaton State Büchi automaton Automata theory Models of computation Theoretical computer science
693	Docking Models in Org Science Add to Reading List Source URL: hcs.ucla.edu Language: English - Date: 2007-05-21 17:48:21 Cybernetics Models of computation Systems theory Organizational behavior Kathleen Carley Computational model Richard Feynman System Computational and Mathematical Organization Theory Science Physics Academia
694	Distributed, Real-Time Computation of Community Preferences Thomas Lutkenhouse, Michael L. Nelson, Johan Bollen Old Dominion University Computer Science Department Norfolk, VAUSA Add to Reading List Source URL: www.cs.odu.edu Language: English - Date: 2005-07-25 16:56:24 Computing Networks Bucket Centrality PageRank Recommender system T-bucket Mathematics Graph theory Network theory
695	Combining Proofs and Programs in a Dependently Typed Language Chris Casinghino Vilhelm Sjöberg Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-07-10 05:47:21 Logic in computer science Lambda calculus Proof theory Deduction Models of computation Curry–Howard correspondence Entailment Combinatory logic Fixed-point combinator Theoretical computer science Logic Mathematics
696	Quantum Adversary (Upper) Bound Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2013-04-06 19:44:11 Models of computation Decision tree model Quantum algorithm Quantum computer PP Theoretical computer science Applied mathematics Computational complexity theory
697	McGill University School of Computer Science Game Research at McGill Formal Verification of Computer Narratives GR@M Technical Report No Add to Reading List Source URL: www.sable.mcgill.ca Language: English - Date: 2009-06-10 18:11:01 Computer science Model checkers Concurrency Automata theory Diagrams NuSMV Petri net Model checking Formal verification Models of computation Theoretical computer science Applied mathematics
698	Managing Digital Rights using Linear Logic Adam Barth Stanford University Abstract Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2007-12-17 01:10:18 Copyright law Digital rights management PlayReady OMA DRM Monotonic function Entailment Finite-state machine Logic Mathematics Models of computation
699	A composition theorem for decision tree complexity Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2014-07-17 09:51:22 Computational complexity theory Decision tree model Theory of computation Communication complexity Convolution theorem Mathematics Theoretical computer science Mathematical analysis
700	Varieties Generated by Certain Models of Reversible Finite Automata Add to Reading List Source URL: cjtcs.cs.uchicago.edu Language: English - Date: 2011-06-02 15:22:32 Mathematics Semigroup theory Algebra Models of computation Category theory Semiautomaton Monoid Free monoid Regular language Abstract algebra Automata theory Formal languages

UPDATE